(MFE) A free expression is sub-expression of a lambdaabstraction not containing the bound variable. A maximal

free expression is a free expression not contained within any

other free expression. See full laziness.